A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
نویسندگان
چکیده
منابع مشابه
A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. In these logics wellformed formulas are supposed to denote pieces of quantum information: possible pure states of quantum systems that can store the information in question. At the same time, the logical connectives are interpreted as quantum logical gates: unitary operators that process quantum i...
متن کاملA Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like “Alice knows that Bob does not understand that π is irrational” as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know. . .)...
متن کاملQuantum approach to epistemic semantics
Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (generally, density operators of some Hilbert spaces), which can be stored and transmitted by means of quantum particles. This approach can be applied to a semantic characterization of epistemic logical operations, which ...
متن کاملIdentity in epistemic semantics
This paper is a contribution to the semantical theory of different types of knowledge ascription, in particular the semantics of ‘knowing who’ and of the interaction between quantifiers and epistemic modal expressions. In possible world semantics, the truth conditions of such sentences depend on the way that identity across possible worlds is modeled. The main argument of this paper is that the...
متن کاملEpistemic Quantum Computational Structures in a Hilbert-space Environment
Quantum computation and quantum computational logics are intrinsically connected with some puzzling epistemic problems. In the framework of a quantum computational approach to epistemic logic we investigate the following question: is it possible to interpret the basic epistemic operations (having information, knowing) as special kinds of Hilbert-space operations? We show that non-trivial knowle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2016
ISSN: 0165-0114
DOI: 10.1016/j.fss.2015.09.002